(0 12 10)(1 13 4)(2 9 3)(5 11 7)(6 16 14)(8 17 15)
ALLOWS (11/8)-SEQUENCE
1: (8 15 17)
(0 12 10)(1 13 4)(2 9 3)(5 11 7)(6 16 14)(8 15 17)
2: (6 16 14)
(0 12 10)(1 13 4)(2 9 3)(5 11 7)(6)(8 15 17)(14)(16)
3: (8 15 17)
(0 12 10)(1 13 4)(2 9 3)(5 11 7)(6)(8)(14)(15)(16)(17)
4: (5 11 7)
(0 12 10)(1 13 4)(2 9 3)(5)(6)(7)(8)(11)(14)(15)(16)(17)